Nuprl Definition : so_apply6 13,42

x(a,b,c,d,e,f) == x(a,b,c,d,e,f
latex


Upcore 2, core 2
Definitionsf(a)

origin